038a5aa8035856c4fada041861cf93e3b842c133,object-immutability/src/edu/rpi/reimutils/ConstraintGraph.java,ConstraintGraph,handleRunCallbacks,#Set#Set#Queue#,409

Before Change


				if (t.getEnclosingMethod().getDeclaringClass().getType().equals(c.getLeft().getType())) {
					processCallOpen(c.getLeft(),t,context, new AnnotatedValue.MethodAdaptValue(context,t));
					System.out.println("Just created a new CALL OPEN, from "+c.getLeft()+" to "+t);
					if (!processedMethods.contains(t.getEnclosingMethod())) {
						processedMethods.add(t.getEnclosingMethod());
						reachableMethods.add(t.getEnclosingMethod());
					}

After Change


					processCallOpen(c.getLeft(),t,context, new AnnotatedValue.MethodAdaptValue(context,t));
					//if (c.toString().indexOf("SynPredBlock")>=0) System.out.println("Just created a new CALL OPEN due to CALLBACK:");
					//if (c.toString().indexOf("SynPredBlock")>=0) System.out.println("------ from "+c.getLeft()+" to "+t);
					if (!processedMethods.contains(t.getEnclosingMethod().toString())) {
						processedMethods.add(t.getEnclosingMethod().toString());
						reachableMethods.add(t.getEnclosingMethod());
					}